<HTML><HEAD><TITLE>?Expr1 #=< ?Expr2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(suspend)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?Expr1 #=< ?Expr2</H1>
The integer value of Expr1 is less than or equal to the integer value of Expr2.
<DL>
<DT><EM>Expr1</EM></DT>
<DD>An integer arithmetic expression
</DD>
<DT><EM>Expr2</EM></DT>
<DD>An integer arithmetic expression
</DD>
</DL>
<H2>Description</H2>
   Suspends until both Expr1 and Expr2 are ground, and then both arguments
   are evaluated and compared, succeeding iff they are both integers and 
   Expr1 is less than or equal to Expr2.

<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H3>Fail Conditions</H3>
   fails if the value of Expr1 is greater than the value of Expr2, or if either do not evaluate to an integer.
<H3>Exceptions</H3>
<DL>
<DT><EM>(24) number expected </EM>
<DD>Expr1 or Expr2 is not an arithmetic expression.
</DL>
<H2>See Also</H2>
<A HREF="../../lib/suspend/HEL-3.html">#=< / 3</A>, <A HREF="../../lib/ic/HEL-2.html">ic : #=< / 2</A>
</BODY></HTML>
